A Calculus of Value Broadcasts

نویسنده

  • K. V. S. Prasad
چکیده

Computation can bemodelled as a sequence of values, each broadcast by one agent and instantaneously audible to all those in parallel with it. Listening agents receive the value; others lose it. Subsystems interface via translators; these can scramble values and thus hide or restrict them. Examples show the calculus describing this model to be a powerful and natural programming tool. Weak bisimulation, a candidate for observational equivalence, is de ned on the basis that receiving a value can be matched by losing it.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

SOME FUNDAMENTAL RESULTS ON FUZZY CALCULUS

In this paper, we study fuzzy calculus in two main branches differential and integral.  Some rules for finding limit and $gH$-derivative of $gH$-difference, constant multiple of two fuzzy-valued functions are obtained and we also present fuzzy chain rule for calculating  $gH$-derivative of a composite function.  Two techniques namely,  Leibniz's rule and integration by parts are introduced for ...

متن کامل

NON-POLYNOMIAL SPLINE FOR THE NUMERICAL SOLUTION OF PROBLEMS IN CALCULUS OF VARIATIONS

A Class of new methods based on a septic non-polynomial spline function for the numerical solution of problems in calculus of variations is presented. The local truncation errors and the methods of order 2th, 4th, 6th, 8th, 10th, and 12th, are obtained. The inverse of some band matrixes are obtained which are required in proving the convergence analysis of the presented method. Convergence anal...

متن کامل

Application of Mathematics in Financial Management

The Time Value of Money is a important concept in Financial Management. The Time Value of Money includes the concepts of future value and discounted value or present value. In the present article, the basic notions and illustrate with their application in the field of investment which is presented in the mathematical terms in form of theorems and we also presented the applications of some well ...

متن کامل

Numerical solution of variational problems via Haar wavelet quasilinearization technique

In this paper, a numerical solution based on Haar wavelet quasilinearization (HWQ) is used for finding the solution of nonlinear Euler-Lagrange equations which arise from the problems in calculus of variations. Some examples of variational problems are given and outcomes compared with exact solutions to demonstrate the accuracy and efficiency of the method.

متن کامل

Bifurcation in a variational problem on a surface with a constraint

We describe a variational problem on a surface under a constraintof geometrical character. Necessary and sufficient conditions for the existence ofbifurcation points are provided. In local coordinates the problem corresponds toa quasilinear elliptic boundary value problem. The problem can be consideredas a physical model for several applications referring to continuum medium andmembranes.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1993